Most of the syntax in our module follow the language used in the CSP module. To mode a system, users first define the primitive systems by drawing them as Finite State Machines. Then based on these primitive components, users can use CSP syntax to describe more complex system.